Général Petrenko, Avant et après Auschwitz

Qualité de vie et vécu de la maladie, avant et après hystérectomie vaginale, chez les femmes admises au Centre Hospitalier Universitaire de Brazzaville

Toute maladie est un mal en soi qu’il faut éradiquer car elle altère souvent de façon significative la qualité de la vie. L’hystérectomie vaginale est indiquée pour les patientes qui présentent certaines affections gynécologiques graves, elle est donc bénéfique mais, peut également avoir une répercussion néfaste sur la qualité de vie de la femme. Ainsi nous avons voulu explorer le vécu de la ma...

Méta-modèle général de description de ressources terminologiques et ontologiques

Résumé : L’intégration des ressources terminologiques et ontologiques d’un domaine est un enjeu majeur en vue de leur pleine exploitation par des organisations. Cette intégration est rendue difficile par l’hétérogénéité des ressources et de leur formalisme de représentation (SKOS, BS 8723, etc.). Ces formalismes se différencient principalement par leur richesse d’expressivité. Dans cet article,...

Architecture and Auschwitz (review essay)

The concentration camp at Auschwitz-Birkenau in southern Poland is an example of one of the most purely functional of architectures. Prefabricated horse stables were selected for use as barracks to house the plan capacity of one hundred thousand slave laborers; the simplest and most efficient ovens were constructed to incinerate, at first, the dozens or hundreds who collapsed daily under inhuma...

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...